1

Logical Truth Revisited

Year:
1968
Language:
english
File:
PDF, 185 KB
english, 1968
2

Borel Determinac

Year:
1979
Language:
english
File:
PDF, 323 KB
english, 1979
6

Recursion-Theoretic Hierarchies || Recursion on Ordinals

Year:
2016
Language:
english
File:
PDF, 2.55 MB
english, 2016
8

Some applications of forcing to hierarchy problems in arithmetic

Year:
1969
Language:
english
File:
PDF, 646 KB
english, 1969
9

Medvedev Degrees of Generalized R.E. separating Classes

Year:
2007
Language:
english
File:
PDF, 379 KB
english, 2007
10

Iterated relative recursive enumerability

Year:
1994
Language:
english
File:
PDF, 1.32 MB
english, 1994
11

Density of the Medvedev lattice of

Year:
2003
Language:
english
File:
PDF, 226 KB
english, 2003
12

Degrees of difficulty of generalized r.e. separating classes

Year:
2008
Language:
english
File:
PDF, 250 KB
english, 2008
13

Finite termination games with tie

Year:
1972
Language:
english
File:
PDF, 212 KB
english, 1972
22

On a Class of Models, Closed with Respect to Direct Productby A. D. Tajmanov

Year:
1965
Language:
english
File:
PDF, 319 KB
english, 1965
23

Existential Horn Sentencesby R. C. Lyndon

Year:
1965
Language:
english
File:
PDF, 202 KB
english, 1965
24

Hierarchies of Predicates of Finite Typesby D. A. Clarke

Year:
1971
Language:
english
File:
PDF, 374 KB
english, 1971
27

Degrees of Continuous Functionals

Year:
1973
Language:
english
File:
PDF, 122 KB
english, 1973
34

Meeting of the Association for Symbolic Logic: Chicago, 1985

Year:
1986
Language:
english
File:
PDF, 148 KB
english, 1986
35

Building an Immunity Fence against Measles

Year:
2007
Language:
english
File:
PDF, 51 KB
english, 2007
39

Meeting of the Association for Symbolic Logic, Chicago, 1985

Year:
1986
Language:
english
File:
PDF, 414 KB
english, 1986
40

Jump embeddings in the Turing degrees

Year:
1991
Language:
english
File:
PDF, 1.69 MB
english, 1991
45

The Diagnosis of Adrenal Neoplasms by Contrast Media 1

Year:
1957
Language:
english
File:
PDF, 722 KB
english, 1957
46

A SURVEY OF MUČNIK AND MEDVEDEV DEGREES

Year:
2012
Language:
english
File:
PDF, 3.95 MB
english, 2012
48

Hierarchies of Effective Descriptive Set Theory

Year:
1969
Language:
english
File:
PDF, 618 KB
english, 1969
50

Classical Recursion Theoryby P. G. Odifreddi

Year:
2001
Language:
english
File:
PDF, 437 KB
english, 2001